Mixed integer programming in production planning with backlogging and setup carryover : modeling and algorithms

This paper proposes a mixed integer programming formulation for modeling the capacitated multi-level lot sizing problem with both backlogging and setup carryover. Based on the model formulation, a progressive time-oriented decomposition heuristic framework is then proposed, where improvement and construction heuristics are effectively combined, therefore efficiently avoiding the weaknesses associated with the one-time decisions made by other classical time-oriented decomposition algorithms. Computational results show that the proposed optimization framework provides competitive solutions within a reasonable time

Comparison of methods for the detection of biofilm production in coagulase-negative staphylococci

<p>Abstract</p> <p>Background</p> <p>The ability of biofilm formation seems to play an essential role in the virulence of coagulase-negative staphylococci (CNS). The most clearly characterized component of staphylococcal biofilms is the polysaccharide intercellular adhesin (PIA) encoded by the <it>icaADBC </it>operon. Biofilm production was studied in 80 coagulase-negative staphylococci (CNS) strains isolated from clinical specimens of newborns with infection hospitalized at the Neonatal Unit of the University Hospital, Faculty of Medicine of Botucatu, and in 20 isolates obtained from the nares of healthy individuals without signs of infection. The objective was to compare three phenotypic methods with the detection of the <it>icaA</it>, <it>icaD </it>and <it>icaC </it>genes by PCR.</p> <p>Findings</p> <p>Among the 100 CNS isolates studied, 82% tested positive by PCR, 82% by the tube test, 81% by the TCP assay, and 73% by the CRA method. Using PCR as a reference, the tube test showed the best correlation with detection of the <it>ica </it>genes, presenting high sensitivity and specificity.</p> <p>Conclusions</p> <p>The tube adherence test can be indicated for the routine detection of biofilm production in CNS because of its easy application and low cost and because it guarantees reliable results with excellent sensitivity and specificity.</p

A novel flexible model for lot sizing and scheduling with non-triangular, period overlapping and carryover setups in different machine configurations

© 2017, Springer Science+Business Media New York. This paper develops and tests an efficient mixed integer programming model for capacitated lot sizing and scheduling with non-triangular and sequence-dependent setup times and costs incorporating all necessary features of setup carryover and overlapping on different machine configurations. The model’s formulation is based on the asymmetric travelling salesman problem and allows multiple lots of a product within a period. The model conserves the setup state when no product is being processed over successive periods, allows starting a setup in a period and ending it in the next period, permits ending a setup in a period and starting production in the next period(s), and enforces a minimum lot size over multiple periods. This new comprehensive model thus relaxes all limitations of physical separation between the periods. The model is first developed for a single machine and then extended to other machine configurations, including parallel machines and flexible flow lines. Computational tests demonstrate the flexibility and comprehensiveness of the proposed models

Effectiveness of manual therapies: the UK evidence report

<p>Abstract</p> <p>Background</p> <p>The purpose of this report is to provide a succinct but comprehensive summary of the scientific evidence regarding the effectiveness of manual treatment for the management of a variety of musculoskeletal and non-musculoskeletal conditions.</p> <p>Methods</p> <p>The conclusions are based on the results of systematic reviews of randomized clinical trials (RCTs), widely accepted and primarily UK and United States evidence-based clinical guidelines, plus the results of all RCTs not yet included in the first three categories. The strength/quality of the evidence regarding effectiveness was based on an adapted version of the grading system developed by the US Preventive Services Task Force and a study risk of bias assessment tool for the recent RCTs.</p> <p>Results</p> <p>By September 2009, 26 categories of conditions were located containing RCT evidence for the use of manual therapy: 13 musculoskeletal conditions, four types of chronic headache and nine non-musculoskeletal conditions. We identified 49 recent relevant systematic reviews and 16 evidence-based clinical guidelines plus an additional 46 RCTs not yet included in systematic reviews and guidelines.</p> <p>Additionally, brief references are made to other effective non-pharmacological, non-invasive physical treatments.</p> <p>Conclusions</p> <p>Spinal manipulation/mobilization is effective in adults for: acute, subacute, and chronic low back pain; migraine and cervicogenic headache; cervicogenic dizziness; manipulation/mobilization is effective for several extremity joint conditions; and thoracic manipulation/mobilization is effective for acute/subacute neck pain. The evidence is inconclusive for cervical manipulation/mobilization alone for neck pain of any duration, and for manipulation/mobilization for mid back pain, sciatica, tension-type headache, coccydynia, temporomandibular joint disorders, fibromyalgia, premenstrual syndrome, and pneumonia in older adults. Spinal manipulation is not effective for asthma and dysmenorrhea when compared to sham manipulation, or for Stage 1 hypertension when added to an antihypertensive diet. In children, the evidence is inconclusive regarding the effectiveness for otitis media and enuresis, and it is not effective for infantile colic and asthma when compared to sham manipulation.</p> <p>Massage is effective in adults for chronic low back pain and chronic neck pain. The evidence is inconclusive for knee osteoarthritis, fibromyalgia, myofascial pain syndrome, migraine headache, and premenstrual syndrome. In children, the evidence is inconclusive for asthma and infantile colic.</p